5

Alternating-time temporal logic

Year:
2002
Language:
english
File:
PDF, 337 KB
english, 2002
16

Diagnostics in Plant Breeding ||

Year:
2013
Language:
english
File:
PDF, 7.16 MB
english, 2013
17

The benefits of relaxing punctuality

Year:
1996
Language:
english
File:
PDF, 2.70 MB
english, 1996
18

Temperature dependence of the exciton transition in semiconductor quantum dots

Year:
2006
Language:
english
File:
PDF, 425 KB
english, 2006
40

Prefrontal Computation as Active Inference

Year:
2019
Language:
english
File:
PDF, 1.38 MB
english, 2019
49

Event-clock automata: a determinizable class of timed automata

Year:
1999
Language:
english
File:
PDF, 1.57 MB
english, 1999